Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Kot Schrodingera w dwóch pudełkach
27 maja 2016, 17:52Zaprezentowaliśmy tutaj analogię do kota Schrödingera, którą stworzyliśmy z pola elektromagnetycznego umieszczonego w dwóch pułapkach. Najbardziej interesujące jest to, że kot znajduje się jednocześnie w dwóch pudełkach - mówi Chen Wang,
Komputerowa tresura psów
6 maja 2016, 11:03Naukowcy z Uniwersytetu Stanowego Północnej Karoliny stworzyli sprzęt i oprogramowanie, które pozwalają komputerowi autonomicznie wytresować psa. Jak wyjaśniają, komputer reaguje na mowę ciała czworonoga.
Kwantowy crowdsourcing
18 kwietnia 2016, 12:22Zasady fizyki kwantowej wydają się całkowicie sprzeczne z ludzką intuicją. Gra stworzona przez grupę naukowców dowodzi jednak, że nawet ludzie bez odpowiedniego wykształcenia mogą je intuicyjnie coraz lepiej rozumieć
Rembrandt komputerowego nie-Rembrandta
7 kwietnia 2016, 12:36Po przeanalizowaniu wszystkich znanych dzieł Rembrandta komputer stworzył obraz, który jak najbardziej przypominał styl mistrza, ale nadal mógł uchodzić za jego własną pracę. Dzięki drukowi 3D uzyskano teksturę farby olejnej.
AlphaGo wygrał ostatnią partię z Lee Sedolem
15 marca 2016, 11:58Lee Sedol, mistrz świata w Go, przegrał ostatnią partię z AlphaGo. Tym samym wynik meczu pomiędzy człowiekiem a sztuczną inteligencją został ustalony na 1:4
Rządowa inwestycja w kwantową informatykę
2 marca 2016, 11:21Rząd Jej Królewskiej Mości ma zamiar wydać ponad 200 milionów funtów na badania nad kantowymi komputerami. Większość z tej kwoty, bo 167 milionów GBP, trafi do Doctoral Training Partnership
Stentrod - sposób na protezy kontrolowane myślą?
25 lutego 2016, 07:36W ciągu 10 lat mogą powstać kontrolowane myślą protezy, wózki inwalidzkie i komputery, twierdzi australijski naukowiec. Terry O'Brien, dziekan Wydziału Medycyny University of Melbourne ma zamiar przeprowadzić w przyszłym roku testy implantu, który odbiera i przekazuje sygnały z mózgu
Mistrz świata (jeszcze) nie boi się komputera
22 lutego 2016, 12:57Mistrz świata w go, Lee Sedol, uważa, że pokona program AlphaGo w zaplanowanej na marzec rozgrywce. Nie jest jednak pewien, czy będzie w stanie pokonać komputer w przyszłym roku.
Karaibskie kaszaloty mają własny 'akcent'
18 lutego 2016, 10:53Naukowcy pracujący u wybrzeży Dominikany odkryli, że walenie zamieszkujące Morze Karaibskie mają inny "akcent" niż walenie z innych obszarów. Artykuł autorstwa Shane'a Gero z University of Aarhus, Hala Whiteheada z Dalhousie University oraz Luke'a Rendella z University of St. Andrews opublikowano w Royal Society Open Science. Uczeni przez wiele lat prowadzili badania kaszalotów i opisują w nim, na jakiej podstawie wyodrębnili osobny "akcent".
